Section: Dissemination
Promoting Scientific Activities
Scientific Events Organisation
General Chair, Scientific Chair
-
PLMW@SPLASH 2016 (Programming Languages Mentoring Workshop) was chaired by Sandrine Blazy and Ulrik Prag-Schultz
-
CoqPL 2017 (International Workshop on Coq for PL) was chaired by Sandrine Blazy and Emilio Jesus Gallego Arias
Member of the Organizing Committees
-
JFLA 2016 (Journées Francophones des Langages Applicatifs) was locally organized by Julien Signoles and Alan Schmitt
Scientific Events Selection
Chair of Conference Program Committees
-
VSTTE 2016 (Verified Software: Theories, Tools, and Experiments) was chaired by Sandrine Blazy and Marsha Chechik
Member of the Conference Program Committees
-
CoqPL 2017 (International Workshop on Coq for PL) : Sandrine Blazy
-
CPP 2017 (ACM SIGPLAN Conference on Certified Programs and Proofs) : Delphine Demange
-
POPL 2017 (Symposium on Principles of Programming Languages) : Delphine Demange (External Program Committee)
-
ESOP 2017 (European Symposium on Programming) : David Pichardie
-
CC 2017 (International Conference on Compiler Construction) : David Pichardie
-
IFL 2016 (International symposium on Implementation and application of Functional Languages) : Sandrine Blazy
-
APLAS 2016 (Asian Symposium on Programming Languages and Systems) : Sandrine Blazy
-
VSTTE 2016 (Verified Software: Theories, Tools, and Experiments) : Sandrine Blazy, Frédéric Besson
-
GPCE 2016 (Generative Programming: Concepts & Experiences) : Sandrine Blazy
-
HaTT 2016 (International Workshop - Hammers for Type Theories) : Frédéric Besson
-
AFADL 2016 (Approches Formelles dans l'Assistance au Développement de Logiciels) : Sandrine Blazy
-
iFM 2016 (International Conference on integrated Formal Methods) : Delphine Demange
-
FTfJP 2016 (Workshop on Formal Techniques for Java-like Programs) : Delphine Demange
-
IFIP SEC 2016 (31st International Conference on ICT Systems Security and Privacy) : Thomas Jensen
Reviewer
-
POPL 2017 (Symposium on Principles of Programming Languages): Alan Schmitt
-
VMCAI 2017 (International Conference on Verification, Model Checking, and Abstract Interpretation) : Delphine Demange
Journal
Reviewer - Reviewing Activities
Invited Talks
Leadership within the Scientific Community
-
Thomas Jensen is director of the Department NUMERIC of informatics, mathematics and electrical engineering at University Bretagne Loire.
-
Thomas Jensen is leader of the security track of the LABEX Comin Labs.